Creative Telescoping for Holonomic Functions
نویسنده
چکیده
The aim of this article is twofold: on the one hand it is intended to serve as a gentle introduction to the topic of creative telescoping, from a practical point of view; for this purpose its application to several problems is exemplified. On the other hand, this chapter has the flavour of a survey article: the developments in this area during the last two decades are sketched and a selection of references is compiled in order to highlight the impact of creative telescoping in numerous contexts.
منابع مشابه
Reduction-Based Creative Telescoping for Fuchsian D-finite Functions1
Continuing a series of articles in the past few years on creative telescoping using reductions, we adapt Trager’s Hermite reduction for algebraic functions to fuchsian D-finite functions whose singularities have real exponents. We develop a reduction-based creative telescoping algorithm for this class of functions, thereby generalizing our recent reduction-based algorithm for algebraic function...
متن کاملReduction-Based Creative Telescoping for Fuchsian D-finite Functions
Continuing a series of articles in the past few years on creative telescoping using reductions, we adapt Trager’s Hermite reduction for algebraic functions to fuchsian D-finite functions and develop a reduction-based creative telescoping algorithm for this class of functions, thereby generalizing our recent reduction-based algorithm for algebraic functions, presented at ISSAC 2016.
متن کاملThe Method of Creative Telescoping
In Zeilberger (preprint) it was shown that Joseph N. Bernstein's theory of holonomic systems (Bernstein, 1971; Bjork, 1979) forms a natural framework for proving a very large class of special function identities. A very general, albeit slow, algorithm for proving any such identity was given. In Zeilberger (to appear) a much faster algorithm was given for the important special case of hypergeome...
متن کاملComplexity of the Creative Telescoping for Bivariate Rational Functions
The long-term goal initiated in this work is to obtain fast algorithms and implementations for definite integration in the framework, introduced by Almkvist and Zeilberger, of (differential) creative telescoping. Our approach bases on complexity analysis, by obtaining tight degree bounds on the various differential operators and polynomials involved in the method. To make the problem more tract...
متن کاملTrading order for degree in creative telescoping
We analyze the differential equations produced by the method of creative telescoping applied to a hyperexponential term in two variables. We show that equations of low order have high degree, and that higher order equations have lower degree. More precisely, we derive degree bounding formulas which allow to estimate the degree of the output equations from creative telescoping as a function of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1307.4554 شماره
صفحات -
تاریخ انتشار 2013